Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
801	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
802	Microsoft Word - GoldKey PIV Manual-7.12.docx Add to Reading List Source URL: www.goldkey.com Language: English - Date: 2014-06-16 11:28:10 Disk encryption Microsoft Windows Encryption software Windows Vista Encryption Windows Explorer Security and safety features new to Windows Vista Cryptographic software System software Software
803	Software technology advances patient care BioXM™ Knowledge Management Environment robert-koch-str. 2 Add to Reading List Source URL: www.biomax.com Language: English - Date: 2014-04-24 09:19:03 Health informatics Chronic obstructive pulmonary disease Disease management Clinical decision support system Patient safety Medicine Health Medical informatics
804	BSI Software & Meaningful Use Requirements The following is a listing of Meaningful Use requirements and Choice Objectives that apply to Doctors and Hospitals. Requirements and Objectives that are met by BSI software, ei Add to Reading List Source URL: bsi-vt.com Language: English - Date: 2013-04-03 09:12:15 Medical informatics Healthcare Medical terms Patient safety Computerized physician order entry Medical prescription Clinical decision support system Electronic health record Electronic prescribing Medicine Health Health informatics
805	Medical Device Biological Safety Testing Services An essential part of the development cycle for medical devices is the establishment of material and product biocompatibility or biological safety. MET can classify your d Add to Reading List Source URL: www.met.uk.com Language: English - Date: 2012-02-21 17:58:06 Biocompatibility X Window System Medical device Medicine Software ISO 10993
806	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
807	Internet Safety Technical Task Force Technology Submission Covenant Eyes, Inc.; Ronald DeHaas (CEO), author Accountability Software (Unfiltered Version) http://www.covenanteyes.com Add to Reading List Source URL: cyber.law.harvard.edu Language: English - Date: 2008-09-16 10:16:56 Human development Technology Digital media Accountability partner Internet Social networking service Age-Based Content Rating System Internet safety Accountability software Covenant Eyes
808	Internet Safety Technical Task Force Technology Submission Covenant Eyes, Inc.; Ronald DeHaas (CEO), author Filter Plus Accountability Software http://www.covenanteyes.com Add to Reading List Source URL: cyber.law.harvard.edu Language: English - Date: 2008-09-16 10:16:56 Computing Human development Internet Accountability partner Proxy server Filter Social networking service Age-Based Content Rating System Content-control software Internet safety Accountability software Covenant Eyes
809	Internet Safety Technical Task Force Technology Submission Symantec Corporation http://www.symantec.com JULY 21, 2008 ABSTRACT Add to Reading List Source URL: cyber.law.harvard.edu Language: English - Date: 2008-09-12 13:35:19 Antivirus software Proprietary software Internet safety Symantec Parental controls Content-control software Spyware Child care Internet privacy Software System software Computing
810	Data Sheet - Inferno • Generates an unbearable sound • Works with all makes and types of alarm systems • Award winning design - fits Add to Reading List Source URL: www.fogsecure.com.ng Language: English - Date: 2014-05-26 08:30:09 Alarms Burglar alarm Aerophones Sound production Inferno Siren Security Safety System software

UPDATE